Modelling Systems that Integrate Programming Language and Environment Mechanisms
نویسندگان
چکیده
Once we relax the assumption that it must be possible to specify programs solely in terms of text and enter them in isolation from other tools, the range of possible program development mechanisms t s significantly increased. Thus, in the light of advances in the field of integrated software development environments and in view of the wider availability of suitable workstations, we should reconsider the way we perceive (and, hence design) programming languages. This paper describes on-going work aimed a t exploring the role of the programming language in the context of modern software development environments. The work is currently focused on two fronts: the development of a formalism for describing both a programming language and associated environment mechanisms, and the design of environment mechanisms that support software maintenance and reuse, complementing those traditionally provided by programming languages. This paper will focus on work in the first of these two areas.
منابع مشابه
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models. We integrate these static aspects into a dynamic framework considering requesting access to resources as a process aiming at the prevention of access control violations when a program is executed. We use another...
متن کاملTowards a Control Software Design Environment Using a Meta-modelling Technique
The novelty of this paper is mainly the integration of multi-disciplinary software tools into a control software design environment, namely the Integrated Design Notation (IDN). The IDN supports the design, development and implementation of decentralised distributed control systems. This new environment is based on the UML meta-model standard. The translation process to integrate a control soft...
متن کاملOptimisation Modelling Innovations
Model development is perhaps the most intellectually challenging part of practical mathematical programming. The mathematical representation of a model is typically very short and understandable. Algebraic modelling languages allow models to be implemented in such a way that they can easily be understood and modified. Having once developed models, practical applications should integrate them in...
متن کاملSpecification of Embedded Systems Environment Behaviour with Alvis Modelling Language
Alvis, a modelling language for concurrent systems, combines the advantages of formal methods and practical modelling languages. Even though Alvis has its origins in process algebras, instead of algebraic equations, it uses a high level programming language for the description of agents behaviour and a graphical language for the modelling of interconnections among agents. An Alvis model can be ...
متن کاملModelling and Decision-making on Deteriorating Production Systems using Stochastic Dynamic Programming Approach
This study aimed at presenting a method for formulating optimal production, repair and replacement policies. The system was based on the production rate of defective parts and machine repairs and then was set up to optimize maintenance activities and related costs. The machine is either repaired or replaced. The machine is changed completely in the replacement process, but the productio...
متن کامل